1. A tight, practical integration of relations and functions
پدیدآورنده : Boley, Harold
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
2. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
4. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
5. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
6. Computational Logic in Multi-Agent Systems
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
7. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
پدیدآورنده : edited by Masoud Mohammadian
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
رده :
QA
7609
.
C6
1999
8. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
9. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
10. Constraint solving over multi-valued logics :
پدیدآورنده : Francisco Azevedo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
11. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
پدیدآورنده : Hubert Comon, Claude Marche, Ralf Treinen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002
12. DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده : Eliens, Anton.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
13. Deep Learning with Python : A Hands-on Introduction
پدیدآورنده : Ketkar, Nikhil
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer programming,، Computer science,، Computers,، Mathematical logic
رده :
LB
2822
.
75
.
K88
2017
14. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
15. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
16. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
17. Evolving Knowledge Bases
پدیدآورنده : \ Joao Alexandra Leite
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming.,Expert systems (Computer science),برنامه‌نویسی منطقی.,سیستم‌های خبره (کامپیوتر),a03,a04,a03,a04
رده :
E-Book
,
18. Evolving knowledge base
پدیدآورنده : / Jo?uo Alexandre Leite
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming.,Expert systems (Computer science)
رده :
QA
,
76
.
63
,.
L48
,
2003eb
19. Evolving knowledge bases
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming. ; Expert systems (Computer science) ;
20. Evolving knowledge bases :
پدیدآورنده : João Alexandre Leite.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
رده :
QA76
.
63
.
L48
2003eb
